identical morphism

[数] 恒等态射